Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
431	An algorithm for computing bisimulations in planning Bachelor Thesis Natural Science Faculty of the University of Basel Department of Mathematics and Computer Science Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-01-07 17:29:29 Heuristics Computer science Bisimulation Logic in computer science Models of computation Algorithm A* search algorithm State transition system Search algorithm Theoretical computer science Applied mathematics Mathematics
432	Complexity and Universality of Iterated Finite Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:37:05 Automata theory Computer science Cellular automata Computability theory Cellular automaton Finite-state machine Finite state transducer A New Kind of Science Turing machine Theory of computation Models of computation Theoretical computer science
433	DIMACS, July 8, joint work with G. Winskel while at BRICS) Federico Crazzolara C&C Laboratories, NEC Europe Add to Reading List Source URL: dimacs.rutgers.edu Language: English - Date: 2003-07-07 10:47:34 Concurrency Diagrams Petri net Exponentiation Summation FO Mathematics Theoretical computer science Models of computation
434	PDF Document Add to Reading List Source URL: icaps11.icaps-conference.org Language: English - Date: 2013-04-15 04:52:48 Computer science Finite-state machine Deterministic finite automaton Automata theory Models of computation Theoretical computer science
435	PDF Document Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2008-11-04 04:12:05 Models of computation Computer science Diagrams Programming language semantics Concurrency Petri net Operational semantics Semantics Petri Theoretical computer science Formal methods Logic in computer science
436	PDF Document Add to Reading List Source URL: all.net Language: English - Date: 2010-05-24 14:08:04 Computability theory Formal methods Models of computation Computer security Intent Military science Operating system Computer Email Computing Electronics Technology
437	PDF Document Add to Reading List Source URL: www.eecs.umich.edu Language: English - Date: 2015-03-19 16:08:36 Mathematics Formal sciences Quantum information science Models of computation Quantum computer Algorithm Cryptography Computer science Distributed computing Theoretical computer science Applied mathematics Quantum cryptography
438	PDF Document Add to Reading List Source URL: people.cs.aau.dk Language: English - Date: 2012-10-25 20:21:20 Symbol Uppaal Model Checker Model theory Models of computation Formal languages Automata theory Model checkers Model checking
439	PDF Document Add to Reading List Source URL: flux.cs.queensu.ca Language: English - Date: 2014-10-30 17:26:17 Software engineering Computing Theoretical computer science Formal methods UML diagrams Model checking Finite-state machine ALGOL 68 UML state machine Models of computation Automata theory Digital electronics
440	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 20:08:24 Scheduling algorithms Threads Models of computation Scheduling Unbounded nondeterminism Model checking Monitor Multithreading Non-blocking algorithm Computing Concurrent computing Concurrency

UPDATE